virginia beach tornado damage